| Name | Version | Summary | date |
|---|---|---|---|
| xclingo | 2.0b18 | Tool for explaining and debugging Answer Set Programs. | 2023-11-04 09:48:23 |
| dafact | 0.5 | Encodes data as ASP facts. | 2023-09-15 09:30:57 |
| clyngor | 0.4.3 | Python wrapper around Clingo/Answer Set Programming | 2023-05-11 13:44:46 |
| shilver | 0.0.1 | An outstandingly fast Shingoki solver. | 2023-04-19 11:03:19 |
| clyngor-with-clingo | 5.3.post1 | Installation of clingo binary along clyngor | 2019-05-15 16:36:40 |
| powergrasp | 0.8.18 | compress graphs with answer-set-programming | 2018-12-18 10:23:12 |
| hour | day | week | total |
|---|---|---|---|
| 52 | 1967 | 10704 | 209644 |